2 402 202 книги
Поиск книг
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
#1
Error Free Software: Know-How and Know-Why of Program Correctness (Wiley Series in Software Engineering Practice)
Robert Laurence Baber
56.45 Mb
#2
Error Free Software: Know-how and Know-why of Program Correctness
Robert Laurence Baber
56.46 Mb
#3
Software Reflected: The Socially Responsible Programming of Computers
Robert Laurence Baber
59.78 Mb
#4
The Spine of Software: Designing Provably Correct Software: Theory and Practice or a Mathematical Introduction to the Semantics of Computer Program
Robert Laurence Baber
Категория:
Computer Science
,
Software Engineering
67.06 Mb